Alogebraic Specification

代数を用いてデータ型やプロセスを定義する代数仕様

1980年頃

e.g.

この説明だけだと、普段のプログラミングの進め方との違いがあまりない様に見える

それが1980年頃の成果と言えるならそうなのかもしれない

型を用いて体系的に開発する